
(from the article `reductio ad absurdum`) ...in logic, a form of refutation showing contradictory or absurd consequences following upon premises as a matter of logical necessity. A form of ... ...to their corresponding particular propositions (i.e., from `all` to `some`). Employing an axiomatic system in which proof ...
Found on
http://www.britannica.com/eb/a-z/i/18

See Reductio ad absurdum.
Found on
https://www.encyclo.co.uk/local/21203

an argument for a proposition that shows its negation to be incompatible with a previously accepted or established premise.
Found on
https://www.infoplease.com/dictionary/indirect-proof
No exact match found.